Computational Abstraction

Representation and abstraction are two of the fundamental concepts computer science. Together they enable “high-level” programming: without programming would be tied to machine code; a representation, it pure mathematical exercise. begins with an abstract structure seeks find more concrete one. Abstraction does reverse: starts structures abstracts away. While formal accounts representation easy find, is different matter. In this paper, we provide analysis data based upon some contemporary work in philosophy mathematics. The paper contains account how Frege’s approach may interpreted, modified, extended imported into type theory. We argue that abstraction, while siblings, philosophically quite different. A case special interest concerns abstract/physical interface which houses both physical systems.